Principles of Programming Languages - PDFSEARCH.IO - Document Search Engine

Principles of Programming Languages
Results: 134

#	Item
41	Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou Add to Reading List Source URL: www.disco.ethz.ch Language: English - Date: 2014-09-26 08:33:40 Computing Wireless sensor network Computer science Distributed computing Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems International Conference on Information Processing in Sensor Networks Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming ACM SIGACT Dijkstra Prize
42	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
43	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
44	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
45	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-09-02 18:48:16 Computing Computer science Software engineering Functional programming International Conference on Functional Programming Programming Language Design and Implementation SIGPLAN Compiler Symposium on Principles of Programming Languages Association for Computing Machinery ACM Transactions on Programming Languages and Systems Functional languages
46	Microsoft Word - SIGOPS Annual Report 2007.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Computer science Dijkstra Prize Distributed computing International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Mutual exclusion Keith Marzullo Lock Concurrent computing Concurrency control Computing
47	SIGOPS Annual Report 2010 Fiscal Year July 2009-June 2010 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2010-07-28 20:56:58 International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing Dijkstra Prize Mark Weiser SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
48	Microsoft Word - SIGOPSAnnualReport2013_SUBMISSION3.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2013-08-20 16:37:55 ACM SIGACT International Conference on Architectural Support for Programming Languages and Operating Systems Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
49	SIGOPS Annual Report 2008 Fiscal Year July 2007-June 2008 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles ACM SIGACT Dijkstra Prize Software engineers International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Edsger W. Dijkstra Computer science Computing Concurrent computing
50	Compiler I: Syntax Analysis Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 10: Compiler I: Syntax Analysis Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:27 Compiler construction Parsing Procedural programming languages Compiler Syntax ALGOL 68 Programming language Lexical analysis Formal language Software engineering Computing Programming language implementation